BRICS Basic Research in Computer Science BRICS RS-99-8 Havelund et al.: Formal Verification of a Power Controller Using UPPAAL

Source URL: www.brics.dk

• Embedded system
• Transmission Control Protocol
• Computer architecture
• Interrupts
• Interrupt

BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation

Source URL: www.brics.dk

• Computing
• LR parser
• Parsing
• Bottom-up parsing
• LL parser
• Top-down parsing
• Formal grammar
• Context-free grammar
• Terminal and nonterminal symbols
• Formal languages
• Software engineering
• Programming language implementation

VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya.

Source URL: press.princeton.edu

• Philosophers of mathematics
• Formal systems
• Giuseppe Peano
• Peano axioms
• Richard Dedekind
• Henri Poincaré
• Axiomatic system
• Axiom
• Philosophy of mathematics
• Mathematics
• Mathematical logic
• Number theorists

Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France,

Source URL: assert-false.net

• Type theory
• Data types
• Computability theory
• Formal methods
• Models of computation
• Lambda calculus
• C++ classes
• Type system
• ALGOL 68
• Software engineering
• Programming language theory
• Computing

In: ICDAR-95 (Intl. Conf. on Document Analysis & Recognition), ppMontreal, Canada, 1995. Efficient Analysis of Complex Diagrams using Constraint-Based Parsing1,2 Robert P. Futrelle and Nikos Nikolakis

Source URL: www.ccs.neu.edu

• Parsing
• Geometry
• Top-down parsing
• LL parser
• Diagram
• Cartesian coordinate system
• Formal grammar
• CYK algorithm
• Formal languages
• Mathematics
• Compiler construction

facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c

Source URL: clip.dia.fi.upm.es

• Science
• Artificial intelligence
• Structure
• Formal concept analysis
• Lattice Miner
• Complete lattice
• Frame language
• Kepler scientific workflow system
• Scientific workflow system
• Lattice theory
• Workflow technology
• Workflow

Contents Attendees 1 Quality assurance performance monitoring metrics and measurements 1 Formal Complaints and corrective action plans to resolve complaints 2 FCC and/or NANC News 2 INC read out (initial closure and

Source URL: www.nanc-chair.org

• Ani
• Federal Communications Commission
• Communication
• Government
• Geography of Turkey
• Telephone numbers
• North American Numbering Plan
• Issue tracking system

Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”

Source URL: spinroot.com

• Compiler construction
• SPIN model checker
• Software bug
• Gerard J. Holzmann
• Holzmann
• Programming tool
• Embedded system
• Compiler
• Software
• Formal methods
• Computing

mural A Formal Development Support System C. B. Jones K. D. Jones P. A. Lindsay R. Moore

Source URL: homepages.cs.ncl.ac.uk

Formal Software Testing Terri Grenda, CSTE IV&V Testing Solutions, LLC www.ivvts.com Scope of Testing

Source URL: www.iaca.org

• Software development process
• Technology
• System testing
• Test plan
• Test strategy
• Design review
• Software testing
• Software development
• Science